1. Automated technology for verification and analysis :
Author: Tevfik Bultan, Pao-Ann Hsiung (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses,Automatic theorem proving, Congresses
Classification :
QA76
.
9
.
A96
A88
2011
2. CASES 2005 : Ineternational Conference on Compilers, Architecture, and Synthesis for Embedded Systems, September 24-27, 2005, San Francisco, California, USA
Author:
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Embedded computer systems,Congresses ، Compilers )Computer programs(
Classification :
TK
7895
.
E42C28
2005
3. CASES 2006 : International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, October 22-25, 2006, Seoul, Korea : embedded systems week 2006
Author: sponsored by ACM SigBED, ACM SIGDA, ACM Sigmirco, IEEE Computer Society
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Embedded computer systems,Congresses ، Compilers )Computer programs(
Classification :
TK
7895
.
E42C28
2006
4. CASES 2003 : International Conference on Compilers, Architecture, and Synthesis for Embedded Systems San Jose, California, USA, October 30-November 01, 2003
Author: Sponsors & Supporters : ACM SIGMICRO, IEEE...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Embedded computer systems,Congresses ، Compilers )Computer programs(
Classification :
TK
7895
.
E42C28
2003
5. CASES 2004 : International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, September 22-25, 2004, Washington DC, USA
Author: general chairs : Mary Jane Irwin, Wei Zhao
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Embedded computer systems,Congresses ، Compilers )Computer programs(
Classification :
TK
7895
.
E42C28
2004
6. Certified programs and proofs :
Author: Jean-Pierre Jouannaud, Zhong Shao (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses
Classification :
QA76
.
9
.
M35
C37
2011eb
7. Compiler compilers : Third International Workshop CC'90, Schwerin, FRG, October 22-24, 1990 : Proceedings
Author: D. Hammer, ed
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Compiling )Electronic computers(,Congresses ، Compilers )Computer programs(
Classification :
QA
76
.
L28
Vol
.
477
8. Compiler compilers : Third International Workshop CC '90, Schwerin, FRG, October 22-24, 1990 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Compiling )Electronic computers(-- Congresses,، Compilers )Computer programs(-- Congresses
Classification :
QA
76
.
76
.
C65
.
I54
1990
9. Compiler construction
Author: / eRastislav Bodik (ed.).
Library: Library of College of Science University of Tehran (Tehran)
Subject: Compilers (Computer programs)--Congresses.
Classification :
QA76
.
76
.
C65
C32
2005
10. Compiler construction
Author: Ranjit Jhala, Koen de Bosschere (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Compilers (Computer programs), Congresses
Classification :
QA76
.
76
.
C65
C3
2013
11. Compiler construction
Author: Michael O'Boyle (ed.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Compilers (Computer programs), Congresses
Classification :
QA76
.
76
.
C65
C32
2012eb
12. Compiler construction, proceedings of ...
Author: International Conference, CC 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS (10th:2002: Genova)
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Compilers (Computer programs) -- Congresses
Classification :
005
I61c
13. Compiler construction : 5th International Conference, CC'94, Edinburgh, U.K., April 7-9, 1994 :proceedings
Author: Peter A. Fritzson, )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Compilers )Computer programs(
Classification :
QA
76
.
L28
Vol
.
786
14. Compiler construction : 5th International Conference, CC '94, Edinburgh, U.K., April 7-9, 1994 : proceedings
Author: Peter A. Fritzson, )ed.(
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Compilers )Computer programs(
Classification :
QA
76
.
L4
v
.
786
15. Compiler construction : 6th International Conference, CC'96, Linkoping, Sweden, April 24-26, 1996 : proceedings
Author: Tibor Gyimothy )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Compilers )Computer programs(
Classification :
QA
76
.
L28
Vol
.
1060
16. Compiler construction : 4th International Conference CC'92, Paderborn, FRG, October 5-7, 1992 : proceedings
Author: U. Kastens, P. Pfahler, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Compilers )Computer programs(
Classification :
QA
76
.
L28
Vol
.
641
17. Compiler construction : 7th International Conference, CC'98, held as part of the European Joint Conference on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings
Author: Kai Koskimies )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Compilers )Computer programs(
Classification :
QA
76
.
L28
Vol
.
1383
18. Compiler construction : 9th International Conference, CC 2000, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March/April : proceedings
Author: David A. Watt )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Compilers )Computer programs(
Classification :
QA
76
.
L28
Vol
.
1781
19. Compiler construction : 10th International Conference, CC 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
Author: Reinhard Wilhelm )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Compilers )Computer programs(
Classification :
QA
76
.
L28
Vol
.
2027
20. Compiler construction : 14th International Conference, CC 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings
Author: Rastislav Bodik )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Compilers )Computer programs(
Classification :
QA
76
.
L28
Vol
.
3443
